$\forall$$f$,${\it as'}$:top, $A$:Type, ${\it as}$:($A$ List).
\\[0ex]sqequal(map($f$; append(${\it as}$; ${\it as'}$)); append(map($f$; ${\it as}$); map($f$; ${\it as'}$)))